Even though the strong relationship between proof-theoretic and model-theoretic notions in one’s logical theory can be shown by soundness and completeness proofs, whether we can define the model-theoretic notions by means of the inferences in a proof system is not at all trivial. For instance, provable inferences in a proof system of classical logic in the logical framework do not determine its intended models as shown by Carnap (Formalization of logic, Harvard University Press, Cambridge, 1943), i.e., there are non-Boolean models (...) that satisfy its provable inferences. In the literature, this is known as the Categoricity problem or Carnap’s problem. In this paper, we will discuss the Categoricity problem (or Carnap’s problem) for three-valued logics K3 and LP. We will provide three different restrictions on admissible models that will deliver us categoricity results, some of which draw from the solutions provided for the Categoricity problem for classical logic in Belnap and Massey (Stud Log 49(1):67–82, 1990) and Bonnay and Westerståhl (Erkenntis 81(4):721–739, 2016). We will then argue that two of those solutions are philosophically well-motivated: (1) restricting the admissible models where negation is interpreted as a Strong Kleene truth-function, and (2) restricting the admissible models where a complex formula is assigned the third value when its immediate subformulas are assigned the third value. (shrink)

Frame semantics for negation on the Australian Plan accommodates many different negations, but it falls short on accommodating subminimal negation when the language contains conjunction and disjunction. In this paper, I will present a multi-relational frame semantics –multi-incompatibility frame semantics– that can accommodate subminimal negation. I will first argue that multi-incompatibility frames are in accordance with the philosophical motivations behind negation on the Australian Plan, namely its modal and exclusion-expressing nature. Then, I will prove the soundness and completeness results of (...) a subminimal logic that consists of the multi-incompatibility semantics and a proof system with operational rules that characterize subminimal negation, conjunction and disjunction. Lastly, I will prove some key correspondence theorems that relate frame conditions to certain principles that are associated with stronger negations, which will give rise to a new kite of negations that includes subminimal negation. (shrink)

The aim of this study is to explore the influence of religious beliefs on the work-related attitudes of Turkish SME (small and medium-sized enterprise) owner-managers. In this research, the emergence of pious or devout business people is considered as a phenomenon, and special attention is paid to religious transformation and secularism in Turkey. Both concepts, religion and secularism, are considered within the Turkish context. For the research, in-depth interviews were conducted with 32 Turkish business people from religious and secular backgrounds, (...) respectively. The study investigates the so-called “Islamic work ethic” values and Islamic business principles from a critical perspective and argues that they do not seem to be as significant factors as predicted in the emergence of pious or devout business people in Turkey. (shrink)

This article enlarges classical syllogistic logic with assertions having to do with comparisons between the sizes of sets. So it concerns a logical system whose sentences are of the following forms: Allxareyand Somexarey, There are at least as manyxasy, and There are morexthany. Herexandyrange over subsets (not elements) of a giveninfiniteset. Moreover,xandymay appear complemented (i.e., as$\bar{x}$and$\bar{y}$), with the natural meaning. We formulate a logic for our language that is based on the classical syllogistic. The main result is a soundness/completeness theorem. (...) There are efficient algorithms for proof search and model construction. (shrink)

Cette édition des Principes de la philosophie du droit, fondée sur un établissement critique du texte original, est la plus complète à ce jour : elle propose, dans une traduction nouvelle, ce texte majeur de la philosophie juridique et politique moderne publié en 1820. Sont en outre offertes au lecteur les traductions des annotations manuscrites portées par Hegel sur son exemplaire personnel, des extraits des cours prononcés durant les années où il rédigeait son ouvrage et de son dernier cours fait (...) la veille de sa mort, ainsi que les précieuses "Additions" rédigées par Eduard Gans à partir de cahiers d'étudiants ayant assisté aux cours de Hegel. (shrink)

The Turkish translation of Sein und Zeit has not yet been completed. Therefore it is not the subject of this paper whether or not Heidegger’s opus magnum can possibly be übersetzt, übertragen, or deutend dargestellt in an entirely different language such as Turkish. What is going to be discussed, instead, are the ways in which Heidegger can be presented by using the authentic capabilities of Turkish; the different alternatives of such a presentation; the notions and contexts that those alternatives would (...) materialize in the mind of a person who speaks and thinks in Turkish; and, finally, the extent to which those materialized concepts match the objectives that Heidegger had in mind. It is interesting, for that reason, that, for example, varlik does not always mean varlik in Turkish, while Sein always does mean Sein in German. (shrink)

The aim of this paper is to provide a contribution to the natural logic program which explores logics in natural language. The paper offers two logics called \ \) and \ \) for dealing with inference involving simple sentences with transitive verbs and ditransitive verbs and quantified noun phrases in subject and object position. With this purpose, the relational logics are introduced and a model-theoretic proof of decidability for they are presented. In the present paper we develop algebraic semantics of (...) the logics using congruence theory. (shrink)

The Turkish translation of Sein und Zeit has not yet been completed. Therefore it is not the subject of this paper whether or not Heidegger’s opus magnum can possibly be übersetzt, übertragen, or deutend dargestellt in an entirely different language such as Turkish. What is going to be discussed, instead, are the ways in which Heidegger can be presented by using the authentic capabilities of Turkish; the different alternatives of such a presentation; the notions and contexts that those alternatives would (...) materialize in the mind of a person who speaks and thinks in Turkish; and, finally, the extent to which those materialized concepts match the objectives that Heidegger had in mind. It is interesting, for that reason, that, for example, varlik does not always mean varlik in Turkish, while Sein always does mean Sein in German. (shrink)

This paper proposes a formalization of the class of sentences quantified by most, which is also interpreted as proportion of or majority of depending on the domain of discourse. We consider sentences of the form “Most A are B”, where A and B are plural nouns and the interpretations of A and B are infinite subsets of \. There are two widely used semantics for Most A are B: \ > C \) and \ > \dfrac{C}{2} \), where C denotes (...) the cardinality of a given finite set X. Although is more descriptive than, it also produces a considerable amount of insensitivity for certain sets. Since the quantifier most has a solid cardinal behaviour under the interpretation majority and has a slightly more statistical behaviour under the interpretation proportional of, we consider an alternative approach in deciding quantity-related statements regarding infinite sets. For this we introduce a new semantics using natural density for sentences in which interpretations of their nouns are infinite subsets of \, along with a list of the axiomatization of the concept of natural density. In other words, we take the standard definition of the semantics of most but define it as applying to finite approximations of infinite sets computed to the limit. (shrink)

Investing in research is a long-term, risky proposition. In agriculture, it could take fifteen years or more for a research finding to show an improvement in a farmer’s field. Yet, research institutions, like other organizations it needs to be evaluated. For more than twenty years, independent panels of outside experts have evaluated each of the international research centers that the Consultative Group of International Agricultural Research (CGIAR) supports. This paper examines the evolution of this review system, outlines the key methodological (...) challenges faced, and draws lessons for others engaged in evaluating research institutions. It notes that the scope of the CGIAR reviews have been broadened over time in response to users’ concerns. Reviews now cover four dimensions of performance: research results, quality and relevance of research, vision and strategic directions, and management efficiency. The methodological challenges faced in measurement, valuation, and attribution are reviewed, along with practices found to be helpful in addressing these concerns. The paper concludes that the panel approach to institutional evaluation has served CGIAR’s needs well, and recommends it as an evaluation technique for integrating quantitative and qualitative dimensions of institutional performance. (shrink)

Today’s societies face the minorities that want recognition and respect for cultural differences. Kymlicka names it the challenge of multiculturalism. It is considered that identity and recognition problems have recently come to the fore because of a transformation in the perception of subject, truth, reason caused by postmodernism. Kymlicka claims that even if it is more difficult to live together today, it is not because of the so-called post-truth age. In his opinion, we have never reached absolute common grounds before, (...) either. So, it is not true that we cannot get common grounds by we do not believe metaphysical truths anymore. He already believes that a sense of justice does not count on the metaphysical truths, but it can be based on social identities and a sense of belonging. So, he thinks that an overlapping consensus is possible. However, I will defend a different perspective about pluralism and living together. I think that modus vivendi is an undeniable universal fact. For this reason, an overlapping consensus as a model of living together can only be possible domestically at the expense of a global modus vivendi. (shrink)

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper presents the content of this thematic issue of Diogenes on Asian studies in Turkey. It explains the origins of this set of papers in light of relevant scholarship, relates it to current academic work in the field, and provides a rationale for issuing a volume on Asian scholarship in Turkey.

This paper outlines the development of Asian studies in Turkey from their early years to 2022. A particular focus is put on the development of academic programs at Bogazici University and on the international academic partnerships it entailed. The author argues that the end of the Cold War, the “rise of Asia” in public opinion, the new Asia initiative of the Ministry of Foreign Affairs, as well as the global attraction due to international employment opportunities, represent multiple factors that have (...) accelerated interest in Asian Studies in Turkey. (shrink)

The purpose of this paper is to contribute to the natural logic program which invents logics in natural language. This study presents two logics: a logical system called d R containing transitive verbs and a more expressive logical system R containing both transitive verbs and intersective adjectives. The paper offers three different set-theoretic semantics which are equivalent for the logics.

The following is a critical reconstruction of the collaboration between Bauer and Marx between 1839 and 1842. The turbulences in the period in question reveal themselves in Marx’s thought as well as in his relationship with Bruno Bauer. Correspondingly, Marx’s detours, false paths, dead ends and abandoned work are therefore made the focus of this study. The ambivalent initial relations between the two of them, which both made their collaboration possible and hindered it, clearly go back further than 1841, when (...) Bauer was not yet an atheist and was still a proponent of church doctrine. This was the Bruno Bauer that Marx had come to know in the Doctor’s Club. We then meet Bauer the atheist at the end of 1839 or perhaps the beginning of 1840, as he was planning a comprehensive attack on orthodox theology and wanted Marx to fight on his side. This attack continued in Bauer’s Trumpet and in Hegel’s Doctrine. (shrink)

Tarımsal üretim pek çok ekonomide olduğu gibi Türkiye’de de önemli bir paya sahiptir. Özellikle fındık, çay ve yaş meyvelerin üretimi yakın tarihe kadar bilinçsizce gerçekleştirilse de günümüzde üretim imkânlarının gelişmesi sayesinde az maliyetle yüksek verim alınabilmektedir. Fakat başta miras yoluyla arazilerin bölünmesi, köyden şehre göç olmak üzere çeşitli nedenlerden dolayı ya tarım arazileri sahipleri tarafından terk edilmekte ya da yarıcılığa verilmek suretiyle işlenmeye devam edilmektedir. Halk arasında yarıcılık olarak bilinen bu ortaklıkların temeli, fıkıhtaki müzâraa ve müsâkāt ortaklıklarına dayanmaktadır. Bu çalışmanın (...) amacı halk arasında yarıcılık olarak bilinen ve uygulanan müsâkāt ortaklıklarının fındık bahçelerinde nasıl yapıldığını tespit etmek ve fıkhi problemlere neden olan uygulamadaki aksaklıkların giderilmesi için öneriler geliştirmektedir. Nitel araştırma yönteminin benimsendiği araştırmada, araştırma deseni olarak fenomenolojik yaklaşım kullanılmıştır. Araştırmamızın veri toplama yöntemi yarı yapılandırılmış görüşme ve doküman incelemesidir. Araştırmanın çalışma grubu kartopu örnekleme yöntemiyle seçilen ve daha önce müsâkāt akdi yapmış fındık bahçesi sahibi veya fındık bahçesinin mahsulüne ortak olmuş 8 kişiden oluşmaktadır. Çalışmanın, klasik fıkıhla irtibatının yanı sıra, halk arasında güncel bir uygulamanın nasıl yapıldığını ayrıntılarıyla ortaya koyması açısından sosyolojik, tarımsal üretimi konu edinmesi açısından ise tarım ekonomisini ilgilendiren boyutları bulunmaktadır. Agricultural production has an important role in the Turkish economy as in many countries. However, the hazelnuts, tea and fresh fruits have been produced through inefficient methods for a long time. With the development of technology and new techniques, farmers have started to produce more efficient agricultural production with low costs. The basis of these partnerships, known as sharecroppers among the farmers, is based on muzara’ah and musaqat partnerships in Islamic Law. However, today it is not known whether these partnerships are made in accordance with the conditions of muzara’ah and musaqat agreements. In this study, we investigate how musaqat partnerships are made over hazelnut production, and we also try to detect problems that appear during the partnership. In addition, we offer suggestions to eliminate the detected problems. When the literature on musaqat is examined, it is seen that this partnership agreement is not the subject of research separately, and that the issue is generally discussed in some fiqh issues that concern partnership agreements. During the literature review, it was seen that today there are no studies on how the partnership contract is fulfilled and what problems emerge in terms of Islamic law. The fact that this study directly focuses on the current practices of musaqat partnership and identifies the emerging fiqh problems will fill a gap in the literature. (shrink)